Digital Library Curriculum Development Module 5-b: Application Software (Last updated: Module name Application software

Source URL: curric.dlib.vt.edu

• Information science
• Computing
• Information
• Archival science
• Records management
• Digital libraries
• Open access
• Communication
• BASE
• Fedora Commons
• Protocol for Metadata Harvesting
• Metadata Encoding and Transmission Standard

A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier

Source URL: software.imdea.org

• Cryptography
• Applied mathematics
• Computer security
• Advantage
• Provable security
• Cryptographic protocol
• Data Encryption Standard
• DolevYao model
• NeedhamSchroeder protocol

The new standard in online business software YES!CRM CRM & Subscriptions- and Financial management software www.yescrm.com

Source URL: www.yescrm.com

GNU MPFR The Multiple Precision Floating-Point Reliable Library EditionJuneThe MPFR team

Source URL: www.mpfr.org

• Software
• Computer arithmetic
• Compiling tools
• C
• GNU MPFR
• GNU Multiple Precision Arithmetic Library
• Configure script
• SageMath
• Rounding
• GNU Compiler Collection
• C standard library
• GNU

Software Clause for the Provision of Standard Software Forming an Integral Part of Supplies* Amending the “General Conditions for the Supply of Products and Services of the Electrical and Electronics Industry” (“GL

Source URL: www.garz-fricke.com

mandoc from scratch to the standard BSD documentation toolkit in 6 years EuroBSDCon, Stockholm, October 4, 2015 Ingo Schwarze <> using some material from:

Source URL: www.openbsd.org

• Software
• Computing
• Computer architecture
• Technical communication
• Markup languages
• Mandoc
• Groff
• Tbl
• Troff
• Eqn
• Berkeley Software Distribution
• Apropos

A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes

Source URL: cedeela.fr

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Type theory
• Procedural programming languages
• OCaml
• Caml
• Standard ML
• Type variable
• Immutable object

________________________________________ ________________________________________________________________________________________________________________________________________________________________ 3 _______________

Source URL: www.stroustrup.com

• Computing
• Software engineering
• Computer programming
• C++
• Data types
• C standard library
• Procedural programming languages
• Standard streams
• String
• Standard library
• Const
• Newline

Curriculum Vitae Name: Current: Studies: Address:

Source URL: hmarco.org

• Computing
• Software
• Computer architecture
• Software bugs
• Computing platforms
• Address space layout randomization
• C standard library
• PaX
• Buffer overflow
• Stack buffer overflow
• Linux
• Android

BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science

Source URL: brics.dk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Subroutines
• Recursion
• Procedural programming languages
• Standard ML
• Tail call
• ML
• Monad